Logical model of mobile object control
نویسندگان
چکیده
منابع مشابه
Logical Model and Specification of Usage Control
The recent usage control model (UCON) is a foundation for next generation access control models with distinguishing properties of decision continuity and attribute mutability. A usage control decision is determined by combining authorizations, obligations, and conditions, presented as UCONABC core models by Park and Sandhu. Based on these core aspects, we develop a firstorder logic specificatio...
متن کاملSequent Automaton - a Model for Logical Control
Sequent automaton is an intermediate abstract model used on the way from representation of a desired behavior of some engineering system at the algorithmic level to the detailed description of a logical control device designed to provide this behavior, in terms of logic circuits. In this paper, there are regarded the problems of obtaining a sequent automaton from the preceding model of parallel...
متن کاملA Logical Query Language for an Object-Oriented Data Model
We report on our experience in designing and prototyping ROLL, a logical query language under which object-oriented databases conforming to the model deened in 17, 18] can be seen as deductive object-oriented databases. The main contribution of ROLL is to demonstrate the possibility of pursuing for the object-oriented case the same research strategy used in the last decade to extend relation da...
متن کاملArchive Design Based on Planets Inspired Logical Object Model
This paper describes a proposal for a logical data model based on preliminary work within the Planets project. In OAIS terms the main areas discussed are related to the introduction of a logical data model for representing the past, present and future versions of the digital object associated with the Archival Storage Package for the publications deposited by our client repositories.
متن کاملcontrol of the optical properties of nanoparticles by laser fields
در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nexo Revista Científica
سال: 2021
ISSN: 1995-9516,1818-6742
DOI: 10.5377/nexo.v34i01.11327